Petri nets - PDFSEARCH.IO - Document Search Engine

Petri nets
Results: 184

#	Item
31	Genome Informatics 12: 292–Genomic Object Net: Petri Net Enhancement for Multi-Cellular Processes Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-01-17 03:51:06 Concurrency Models of computation Petri nets Diagrams Software engineering Petri Theoretical computer science Metaphor
32	IEEE TRANSACTIONS ON COMPUTERS, MANUSCRIPT ID 1 Automated Model-Based Testing of RoleBased Access Control Using Predicate/Transition Nets Add to Reading List Source URL: www.itrust.lu Language: English - Date: 2015-05-05 11:12:03 Computer security Computer access control Access control Role-based access control Data security NIST RBAC model Role hierarchy Petri net PERMIS XACML Model-based testing Reliability engineering
33	Transforming BPEL into Petri Nets Sebastian Hinz, Karsten Schmidt, Christian Stahl Motivation Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:03 Workflow technology Process management Business Process Execution Language Diagrams Petri net Business process modeling Formal verification YAWL Business Process Modeling Language
34	Petri Nets 2014 & ACSD 2014 Tunis, Tunisia 23rd - 27th June INDEX Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2014-06-20 08:49:10 Petri nets Petri Model checking Wil van der Aalst
35	Branching Processes of Conservative Nested Petri Nets˚ Daniil Frumin and Irina Lomazova National Research University Higher School of Economics (HSE), , Abstract Add to Reading List Source URL: covariant.me Language: English - Date: 2014-10-30 10:58:52
36	PNSE 2012 Petri Nets and Software Engineering Lawrence Cabac, Michael Duvigneau, and Daniel Moldt Monday, 25th June 08:45 - Opening Add to Reading List Source URL: www.informatik.uni-hamburg.de Language: English - Date: 2012-06-19 09:23:24
37	Coverability Trees for Petri Nets with Unordered Data Piotr Hofman1,i , Slawomir Lasota2,ii , Ranko Lazi´c3,iii , J´erˆome Leroux4 , Sylvain Schmitz1,iv , and Patrick Totzke3,iii 1 Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2016-03-14 07:02:18
38	Call for Papers and Announcement Petri NetsINTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY Add to Reading List Source URL: pn2016.mat.umk.pl Language: English - Date: 2015-09-24 12:08:12
39	Redesigning Design/CPN: Integrating Interaction and Petri Nets In Use Paul Janecek, Anne V. Ratzer, Wendy E. Mackay Department of Computer Science, Aarhus University AabogadeAarhus N., Denmark Add to Reading List Source URL: www.lri.fr Language: English - Date: 2001-02-14 06:45:23
40	Timed extensions of Petri nets with data Add to Reading List Source URL: pv.dibris.unige.it Language: English - Date: 2015-09-11 07:09:26